After the Industrial Revolution, machines were transforming society:
Could you make machines think?
Charles Babbage designed the Analytical Engine.
Ada Lovelace imagined it manipulating symbols, not just numbers — anticipating general-purpose computation.
Their ideas set the stage for Turing in 1936.
A mathematical abstraction of Babbage’s Analytical Engine.
A minimal universal model:
Only the tape is infinite:
- Not bound by memory or speed limits
- Everything else is finite — not magic
Predates electronics.
Can be imagined as:
The program is a set of states.
Each state:
Because it is simple and universal with infinite memory
anything that can be computed algorithmically
can be done by a Turing machine.
Alphabet: 1
, 0
and blank ' '
Input: a binary number surround by blanks
Output: a binary number
Algorithm:
Example input: 10101011
Start state: right
State | Read | Write | Move | Next State |
---|---|---|---|---|
right | 1 | 1 | R | right |
right | 0 | 0 | R | right |
right | ' ' |
' ' |
L | carry |
carry | 1 | 0 | L | carry |
carry | 0 | 1 | L | halt |
carry | ' ' |
1 | L | halt |
State transition table as diagram
Check that every a is followed by b
Alphabet: a
, b
, X
, Y
, R
, A
and blank ' '
Input: a string
Output: A
and R
Algorithm:
Each a is marked and triggers a search for a b.
Each b is marked only once per a.
If any unmatched a is found, it rejects with R
Example input: abaabb
State transition table as diagram
Alt text